backend of Ax=b